If <i>E</I> is an extension of the field <i>F</i>,  the algebraic closure of <i>F</i> in <i>E</i> is  
the subfield of <i>E</i> of the elements that are algebraic over <i>F</i>.